First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213

Source URL: select.cs.cmu.edu

• Logic
• Mathematical logic
• Abstraction
• Automated theorem proving
• Model theory
• Predicate logic
• Semantics
• Boolean algebra
• Resolution
• Cutting-plane method
• First-order logic
• Propositional calculus

Linear Programming Hierarchies Suffice for Directed Steiner Tree Zachary Friggstad1 , Jochen K¨onemann?,2 , Young Kun-Ko3 , Anand Louis??,4 , Mohammad Shadravan?,2 , and Madhur Tulsiani? ? ?,5 1

Source URL: www.math.uwaterloo.ca

Posters at ADPatrick E. Farrell (Department of Earth Science and Engineering, Imperial College London, UK): Automating the adjoint of finite element discretisations In this work we demonstrate the capability of

Source URL: www.autodiff.org

• Mathematics
• Mathematical analysis
• Academia
• Operations research
• Differential calculus
• Automatic differentiation
• Computer algebra
• Applied mathematics
• Numerical analysis
• Finite element method
• Mathematical optimization
• Linear programming

SUBMITTED TO IEEE TRANS. ON SIGNAL PROCESSING 1 Fault Identification via Non-parametric Belief Propagation

Source URL: select.cs.cmu.edu

• Mathematics
• Operations research
• Coding theory
• Discrete mathematics
• Mathematical analysis
• Convex optimization
• Belief propagation
• Probability theory
• Semidefinite programming
• Linear programming
• Low-density parity-check code
• Matrix

Apprenticeship Learning Using Linear Programming Umar Syed USYED @ CS . PRINCETON . EDU Princeton University, Department of Computer Science, 35 Olden Street, Princeton, NJMichael Bowling

Source URL: rob.schapire.net

JMLR: Workshop and Conference Proceedings vol 40:1–21, 2015 Learning and inference in the presence of corrupted inputs Uriel Feige URIEL . FEIGE @ WEIZMANN . AC . IL

Source URL: jmlr.org

• Machine learning
• Learning
• Stability
• Linear programming
• Function
• Statistical learning theory
• Matching

Global Inference Using Integer Linear Programming Wen-tau Yih August 15, 2004 1

Source URL: l2r.cs.illinois.edu

Utilizing Problem Structure in Optimization of Radiation Therapy FREDRIK CARLSSON Doctoral Thesis

Source URL: www.raysearchlabs.com

• Operations research
• Mathematical optimization
• Medical physics
• Medicine
• Numerical analysis
• Radiation therapy
• Quadratic programming
• Radiation treatment planning
• Linear programming
• SmartDO

Applied Mathematics and Computation±124 www.elsevier.nl/locate/amc On the approximation of real rational functions via mixed-integer linear programming

Source URL: www.papamarkos.gr

OPTIMA 89 Mathematical Optimization Society Newsletter Philippe L. Toint MOS Chair’s Column

Source URL: www.mathopt.org

• Mathematics
• Algebra
• Mathematical analysis
• Operations research
• Real algebraic geometry
• Linear algebra
• Matrix theory
• Mathematical optimization
• Semidefinite programming
• Big O notation
• Linear programming
• Quadratic form